大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Proof Theory [electronic resource] : The First Step into Impredicativity

0
索取号：
作者：Pohlers、 Wolfram.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Optimal Transportation Networks [electronic resource] : Models and Theory

0
索取号：
作者：Bernot、 Marc.、Caselles、 Vicent.、Morel、 Jean-Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Game Theory [electronic resource] : A Multi-Leveled Approach

0
索取号：
作者：Peters、 Hans.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Database Theory-ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings

0
索取号：
作者：Schwentick、 Thomas.、Suciu、 Dan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

0
索取号：
作者：Swart、 Harrie.、Or艂owska、 Ewa.、Schmidt、 Gunther.、Roubens、 Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Elementary Number Theory, Cryptography and Codes [electronic resource]

0
索取号：
作者：Baldoni、 Maria Welleda.、Ciliberto、 Ciro.、Cattaneo、 Giulia Maria Piacentini.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings

0
索取号：
作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Partial Covers, Reducts and Decision Rules in Rough Sets [electronic resource] : Theory and Applications

0
索取号：
作者：Moshkov、 Mikhail Ju.、Piliszczuk、 Marcin.、Zielosko、 Beata.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Quantum Theory of Magnetism [electronic resource] : Magnetic Properties of Materials

0
索取号：
作者：White、 Robert M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Astronomical Optics and Elasticity Theory [electronic resource] : Active Optics Methods

0
索取号：
作者：Lemaitre、 G茅rard Ren茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006

0
索取号：
作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory of Probability and Random Processes [electronic resource]

0
索取号：
作者：Koralov、 Leonid.、Sinai、 Yakov G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.

Finite Model Theory and Its Applications [electronic resource]

0
索取号：
作者：Gr盲del、 Erich.、Kolaitis、 Phokion G.、Libkin、 Leonid.、Marx、 Maarten.、Spencer、 Joel.、Vardi、 Moshe Y.、Venema、 Yde.、Weinstein、 Scott.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings

0
索取号：
作者：Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers

0
索取号：
作者：Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.